Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems
نویسندگان
چکیده
منابع مشابه
Towards many core real-time embedded systems: software design of streaming systems at system level
Nowadays, multi-core architectures become popular for embedded systems. As VLSI technology is scaling to deep sub-micron domain, an envisioned trend is that the architectures of embedded systems are moving from multiple cores to many cores. Although state-of-art multicore and future many-core architectures provide enormous potential, scaling the number of computing cores does not directly trans...
متن کاملSystem-Level Design Methodology for Streaming Multi-Processor Embedded Systems
To my daughters Michaela and Anetta; To my wife Boyanka for all the support and understanding...
متن کاملMulti-agent Based Software Licensing Model for Embedded Systems
Recent growth of the embedded system industry, both in size and complexity, resulted in numerous advantages for the consumer equipment and a few problems for the system designers. One of the problems is the software licensing problem in complex embedded systems. The fact that today’s embedded systems are evolved into fairly large and complex systems presents the need to effectively manage the e...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Producing Software Correct by Construction
sorts are re ned into concrete data types. Re nement may be performed by using morphisms or interpretations to show how a standard library data type can be used to represent a particular abstract data type. After the speci cation has been re ned into a suitable form, standard library components (algorithms and data types) are converted into components in some executable programming language (e....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2019
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-019-00523-5